Closing The Performance Gap between Causal Consistency and Eventual Consistency
نویسندگان
چکیده
It is well known that causal consistency is more expensive to implement than eventual consistency due to its requirement of dependency tracking and checking for causality. To close the performance gap between the two consistency models, we propose a new protocol that implements causal consistency for both partitioned and replicated data stores. Our protocol trades the visibility latency of updates across different client sessions for higher throughput. An update, either from a local client or a remote replica, is only visible to other clients after it is replicated by all replicas. As a result, a read operation never introduces dependencies to its client session. Only update operations introduce dependencies. By exploiting the transitive property of causality and total order update propagation, an update always has at most one dependency. By reducing the number of tracked dependencies and the number of messages for dependency checking down to one, we believe our protocol can provide causal consistency with similar cost to eventual consistency.
منابع مشابه
Writes: the dirty secret of causal consistency
Causal consistency offers geo-distributed systems what ought to be a sweet option between the poor performance of strong consistency and the weak guarantees of eventual consistency. Yet, despite its appealing properties, causal consistency has seen limited adoption in industry, where systems have instead been clustering around the two extremes of eventual and strong consistency. We argue that t...
متن کاملGeo-Replication in Large Scale Cloud Computing Applications
The work described in the thesis proposes a Geodistributed key-value datastore, named ChainReaction, that offers causal+ consistency, with high performance, fault-tolerance, and scalability. ChainReaction avoids the bottlenecks of linearizability while providing competitive performance when compared with systems merely offering eventual consistency. We have experimentally evaluated the benefits...
متن کاملReactive SC: Speculatively relaxing memory consistency model contraints using dynamic classification of cache blocks
Making parallel machines programmable is paramount to exposing and eventual harnessing of the performance of multiple cores. Memory consistency model plays an important role is deciding how programmable a parallel machine is, for it affects the assumptions a programmer can make. Sequential consistency is arguably the most intuitive memory model but is rarely implemented in practice owing to the...
متن کاملConsistency, Availability, and Convergence
We examine the limits of consistency in highly available and fault-tolerant distributed storage systems. We introduce a new property—convergence—to explore the these limits in a useful manner. Like consistency and availability, convergence formalizes a fundamental requirement of a storage system: writes by one correct node must eventually become observable to other connected correct nodes. Usin...
متن کاملBig Book of Notes
5 Consistency Guarantees 5 5.1 Transactions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 5.2 Linearizability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 5.3 Sequential Consistency . . . . . . . . . . . . . . . . . . . . . . . . 6 5.4 Causal Consistency . . . . . . . . . . . . . . . . . . . . . . . . . . 6 5.5 release consistency . . . . . . . . . . . . . . . . . ....
متن کامل